This book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information ...
WeiterlesenThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
WeiterlesenThis open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
WeiterlesenThis open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
WeiterlesenThis volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
WeiterlesenThis volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
WeiterlesenThis volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...
WeiterlesenThis book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...
WeiterlesenHistory based access control and secure information flow The spec# programming system Mastering test generation from smart ...
WeiterlesenThis book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of ...
WeiterlesenThis volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, ...
WeiterlesenThis volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON ...
WeiterlesenSoftware engineering has over the years been applied in many different fields, ranging from telecommunications to embedded ...
WeiterlesenThis volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...
WeiterlesenThis book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, ...
WeiterlesenThe workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...
WeiterlesenThis book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...
WeiterlesenThis volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...
WeiterlesenThis volume contains the proceedings of the third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, ...
WeiterlesenThis book constitutes the refereed proceedings of the 4th European Performance Engineering Workshop, EPEW 2007, held in Berlin, ...
Weiterlesen